Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
221	Senti-LSSVM: Sentiment-Oriented Multi-Relation Extraction with Latent Structural SVM Lizhen Qu Max Planck Institute for Informatics [removed] Add to Reading List Source URL: dws.informatik.uni-mannheim.de Language: English - Date: 2014-09-29 11:40:15 Equivalence relation Finitary relation Function Structure Sentiment analysis Binary relation Mathematics Model theory Mathematical logic
222	NICE FELLOWS AND SCHOLARS PROGRAMME Add to Reading List Source URL: www.nice.org.uk Language: English - Date: 2014-10-01 08:41:28 Semantics Email National Institute for Health and Clinical Excellence Nice Philosophy of language Analytic philosophy Logic Philosophical logic Reference
223	DIP: A Defeasible-Inference Platform for OWL Ontologies Thomas Meyer, Kody Moodley and Uli Sattler Centre for Artificial Intelligence Research CSIR Meraka Institute and UKZN, South Africa and University of Manchester, Un Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-07-07 10:06:00 Reasoning Knowledge representation Semantic Web Defeasible reasoning Inference Web Ontology Language Description logic Argument Ontology Logic Science Artificial intelligence
224	An Efficient Method for Computing Alignment Diagnoses Christian Meilicke and Heiner Stuckenschmidt Computer Science Institute, University of Mannheim, B6,[removed]Mannheim, Germany Add to Reading List Source URL: publications.wim.uni-mannheim.de Language: English - Date: 2012-02-13 18:02:45 Knowledge engineering Science Knowledge representation Ontology Web Ontology Language Mereology Specific Area Message Encoding Logic programming Semantic Web Information Information science
225	Learning Disjointness for Debugging Mappings between Lightweight Ontologies Christian Meilicke1 , Johanna V¨olker2 , Heiner Stuckenschmidt1 1 Computer Science Institute Add to Reading List Source URL: publications.wim.uni-mannheim.de Language: English - Date: 2012-02-13 18:02:45 Science Information science Knowledge representation Knowledge engineering Lightweight ontologies Description logic Semantic similarity WordNet Semantic integration Ontology Semantic Web Information
226	Dear Colleague, The Gilder Lehrman Institute of American History is pleased to announce our annual Dear George Washington Contest for elementary school students (grades 2–5). Each student writes a letter to newly inaug Add to Reading List Source URL: www.gilderlehrman.org Language: English - Date: 2014-08-25 12:48:02 Education in New York Gilder Lehrman Institute of American History Lehrman Logic Idea Mind Cognition Science
227	Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-21 16:51:10 Systems science Model checkers Theoretical computer science Software quality Logic in computer science Model checking Formal verification PRISM model checker Reliability engineering Systems engineering Science Formal methods
228	The 12th International Conference on Artificial Intelligence and Law June[removed], 2009 Autonomous University of Barcelona Add to Reading List Source URL: idt.uab.cat Language: English - Date: 2013-04-05 07:13:46 Academia Doug Walton Knowledge UAB Institute of Law and Technology Argumentation theory Artificial intelligence and law Ambient intelligence Leibniz Center for Law University of Groningen Science Year of birth missing Logic
229	A Partition Function Algorithm for Nucleic Acid Secondary Structure Including Pseudoknots ROBERT M. DIRKS,1 NILES A. PIERCE2 1 Department of Chemistry, California Institute of Technology, Pasadena, California 91125 Add to Reading List Source URL: piercelab.caltech.edu Language: English - Date: 2010-09-08 02:56:26 RNA Computing Mathematical logic Theoretical computer science Recursion Pseudoknot Dynamic programming Nucleic acid secondary structure Algorithm Computer programming Mathematics Programming idioms
230	Atomic Switch Arrays for Memory and Logic Circuits Dr. Tsuyoshi HASEGAWA ( National Institute for Material Science ) 1. Nanoionic Devices Nonvoaltile switches for memory and logic operations in the beyond 16nm generation Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2013-11-20 21:23:44 Logic families Integrated circuits Electrical components Electromagnetism Digital electronics Logic gate CMOS Railroad switch Electronic engineering Electrical engineering Switches

UPDATE